module Module

type T(i: a * b) = class end
